home
***
CD-ROM
|
disk
|
FTP
|
other
***
search
/
Language/OS - Multiplatform Resource Library
/
LANGUAGE OS.iso
/
ast_comp
/
concurre.tar
/
concurrency
/
structdir
< prev
next >
Wrap
Text File
|
1993-07-05
|
49KB
|
700 lines
# Structures Directory -- Email addresses of structure theorists
# Release 4.5, Jun 7, 1993
# Master copy: Boole.Stanford.EDU:~ftp/pub/structdir
# Maintainer: Vaughan Pratt, pratt@cs.stanford.edu
#
#
# This is an email directory of logicians, algebraists, and programming
# linguists working primarily on structural problems in mathematics and
# computer science. It is organized as a Unix aliases file and
# may be appended directly to the aliases file that normally resides in
# /usr/lib or /etc. The most recent release of this directory may be
# obtained at any time by anonymous ftp from Boole.Stanford.EDU as the
# file /pub/structdir
#
# The purpose of this directory is to permit those listed in it to be
# easily contacted individually by email.
#
# NOTICE: Please do not use any email address obtained from this
# directory for other than the purpose stated above without first
# obtaining the consent of the owner of that address. Such proscribed
# uses include adding an address obtained from this directory to a
# mailing list used for broadcast mailings, and noting the fact of
# inclusion in this directory in a profile of the included individual.
#
# The list observes the following conventions. Column 1 is the alias,
# which usually consists of the surname prefixed when necessary for
# disambiguation with an initial or the whole first name. It starts in
# character column 1 and is restricted to the 26 characters a-z (no
# capitals, digits, or punctuation), and usually includes any preceding
# "de" or "van". Column 2, which starts in character column 17, is the
# email address in lower case with no %'s, and is either a regular
# internet domain address, a .bitnet address, or a uucp address in !
# format. Column 3 is "(Forename" and column 4 the matching "Surname)".
# The list is sorted by surname using the Unix sort command in the form
# `sort +3` (sort ignoring the first three columns). The "de" or "van"
# if any is placed in whichever of columnn 3 or 4 achieves its owner's
# preferred alphabetization. Column 3 starts as close to column 57 as
# possible subject to the other constraints and column 4 is separated
# from column 3 by one space. There are no tabs in the file, and no line
# is longer than 79 characters.
#
# Although the directory contains no repeated aliases (column 1 entries),
# the aliases file to which you append it may already contain aliases
# that also appear here. You should be aware that the resulting
# conflicts will not be reported as such, but rather that the mailing
# programs will select either the last or first repeated alias as the one
# to use depending respectively on whether or not your mail system
# preprocesses the aliases file for faster retrieval.
#
# Vaughan Pratt
# Computer Science Department
# Stanford University
# Stanford, CA 94305
# pratt@cs.stanford.edu
# 415-723-2943
#
# People
#
abadi: ma@src.dec.com (Martin Abadi)
abiteboul: abitebou@inria.inria.fr (Serge Abiteboul)
abramsky: sa@doc.ic.ac.uk (Samson Abramsky)
aceto: luca@cogs.sussex.ac.uk (Luca Aceto)
aczel: petera@cs.man.ac.uk (Peter Aczel)
adamek: adamek@math1.cvut.cs (Jiri Adamek)
adams: useradms@mtsg.ubc.ca (Bob Adams)
adelman: murray@macadam.mpce.mq.edu.au (Murray Adelman)
adler: ara@lom1.math.yale.edu (Alan Adler)
ait-kaci: hak@decprl.dec.com (Hassan Ait-Kaci)
aitchison: iain@mundoe.munnari.edu.au (Iain Aitchison)
alimohamed: moez@saul.cis.upenn.edu (Moez Alimohamed)
altenkirch: alti@dcs.ed.ac.uk (Thorsten Altenkirch)
amadio: amadio@loria.fr (Roberto Amadio)
ambler: sja@dcs.qmw.ac.uk (Simon Ambler)
amnell: amnell@klaava.helsinki.fi (Marko Amnell)
andersen: nils@diku.dk (Nils Andersen)
anderson: anderson@bright.math.uoregon.edu (Frank Anderson)
andreka: h2644and@ella.hu (Hajnal Andreka)
apt: apt@cs.utexas.edu (Krzystof Apt)
arbib: arbib@cs.usc.edu (Michael Arbib)
arnold: arnold@geocub.greco-prog.fr (Andre Arnold)
artemov: sergei@artemov.mian.su (Sergei Artemov)
asperti: andrea.asperti@inria.fr (Andrea Asperti)
astesiano: astes@disi.unige.it (Egidio Astesiano)
atkinson: atkinson@math.toronto.edu (Derek Atkinson)
avron: aa@math.tau.ac.il (Arnon Avron)
bach: rene@tech.ascom.ch (Rene Bach)
baez: baez@ucrmath.ucr.edu (John Baez)
baker: kab@math.ucla.edu (Kirby Baker)
baker-finch: clem@echo.canberra.edu.au (Clem Baker-Finch)
baranoff: sergei@hm.iias.spb.su (Sergei Baranoff)
barr: barr@triples.math.mcgill.ca (Michael Barr)
bartle: rgb@math.ams.com (Bob Bartle)
barwise: barwise@phil.indiana.edu (Jon Barwise)
beck: beck@math.cornell.edu (Jon Beck)
bednarczyk: panmb@halina.univ.gda.pl (Marek Bednarczyk)
beeson: beeson@ucscc.ucsc.edu (Michael Beeson)
beigel: beigel-richard@cs.yale.edu (Richard Beigel)
bellin: glb@dcs.edinburgh.ac.uk (Gian-Luigi Bellin)
benson: dbenson@eecs.wsu.edu (David Benson)
vanbenthem: johan@fwi.uva.nl (Johan.van Benthem)
bergman: gbergman@cartan.berkeley.edu (George Bergman)
bergstra: madelon@fwi.uva.nl (Jan Bergstra)
berry: berry@cma.cma.fr (Gerard Berry)
betti: renbet@ipmma1.polimi.it (Renato Betti)
bhadhuri: pbhaduri@cs2.cs.wsu.edu (Purandar Bhadhuri)
bier: eric_bier.parc@xerox.com (Eric Bier)
birtwistle: graham@cpsc.ucalgary.ca (Graham Birtwistle)
blair: ziggy@hx.lcs.mit.edu (Michael Blair)
blass: blass@um.cc.umich.edu (Andreas Blass)
bbloom: bard@cs.cornell.edu (Bard Bloom)
sbloom: bloom@sparc1.stevens-tech.edu (Steve Bloom)
lblum: lblum@ernie.berkeley.edu (Lenore Blum)
mblum: blum@ernie.berkeley.edu (Manuel Blum)
blute: blute@triples.math.mcgill.ca (Richard Blute)
vanemdeboas: pveb@cwi.nl (Peter.van.Emde Boas)
boehm: boehm.pa@xerox.com (Hans Boehm)
boerger: rboerger@mathstat.yorku.ca (Reinhard Boerger)
bonacina: bonacina@sbcs.sunysb.edu (M.Paola Bonacina)
boolos: boolos@athena.mit.edu (George Boolos)
borceux: borceux@agel.ucl.ac.be (Francis Borceux)
jborwein: jborwein@cs.dal.ca (Jon Borwein)
pborwein: pborwein@cs.dal.ca (Peter Borwein)
borzyszkowski: panab@halina.univ.gda.pl (Andrzej Borzyszkowski)
bouchard: eomsg@acadvm1.uottawa.ca (Monique Bouchard)
boyer: boyer@cli.com (Bob Boyer)
bracho: bracho@unamvm1.bitnet (Felipe Bracho)
brauner: tor@daimi.aau.dk (Torben Brauner)
breazu: val@cis.upenn.edu (Val Breazu-Tannen)
breen: breen@math.univ-paris13.fr (Larry Breen)
brink: cbrink@ucthpx.uct.ac.za (Chris Brink)
brinkman: mabrink@nyx.uni-konstanz.de (Hans-Berndt Brinkman)
britz: brtkat01@ucthpx.uct.ac.za (Katarina Britz)
brock: shb@sys.uea.ac.uk (Simon Brock)
brookes: brookes@b.gp.cs.cmu.edu (Steve Brookes)
cbrown: cbrown@cs.chalmers.se (Carolyn Brown)
rbrown: r.brown@vaxa.bangor.ac.uk (Ronnie Brown)
broy: broy@informatik.tu-muenchen.de (Manfred Broy)
bruce: kim@cs.williams.edu (Kim Bruce)
brunner: hbrunner@mun.bitnet (Herman Brunner)
buckland: richardb@macadam.mpce.mq.edu.au (Richard Buckland)
debukh: ecomail@vms2.uni-c.dk (Per.de Bukh)
bullejos: mbullejos@ugr.es (Manuel Bullejos)
buneman: peter@cis.upenn.edu (Peter Buneman)
bunge: bunge@triples.math.mcgill.ca (Marta Bunge)
burroni: burroni@mathp7.jussieu.fr (Albert Burroni)
burstall: rb@dcs.edinburgh.ac.uk (Rod Burstall)
buss: sbuss@cs.ucsd.edu (Sam Buss)
cannon: cannon_j@maths.su.edu.au (John Cannon)
carboni: carboni@vmimat.mat.unimi.it (Aurelio Carboni)
cardelli: luca@src.dec.com (Luca Cardelli)
carpenter: carp@lcl.cmu.edu (Bob Carpenter)
carr: carrdm@snyplaba.bitnet (Donna Carr)
carter: nicola@mcgill1.bitnet (Nicola Carter)
cartwright: cork@rice.edu (Corky Cartwright)
casley: casley@cs.stanford.edu (Ross Casley)
castellini: g-castellini@upr1.upr.cun.edu (G. Castellini)
cerioli: cerioli@disi.unige.it (Maura Cerioli)
chandra: ashok@watson.ibm.com (Ashok Chandra)
chase: chase@math.cornell.edu (Stephen Chase)
chen: uhchen@uxa.ecn.bgu.edu (Andy Chen)
chinnici: chinnici@hp2.sm.dsi.unimi.it (Roberto Chinnici)
chisala: chisala@mango.apc.org (B.P. Chisala)
choi: choi@grad1.cis.upenn.edu (Jin-Young Choi)
chou: chou@rascal.ics.utexas.edu (Shang-Ching Chou)
chu: chu@ace.bsd.uchicago.edu (Po-Hsiang Chu)
clarke: clarke@a.cs.cmu.edu (Ed Clarke)
clote: clote@bcuxs2.bc.edu (Peter Clote)
cockett: robin@cpsc.ucalgary.ca (Robin Cockett)
cocquand: coquande@margaux.inria.fr (Thierry Cocquand)
cohen: avrac@computer-lab.cambridge.ac.uk (Avra Cohen)
comer: comers@citadel.bitnet (Stephen Comer)
rcooper: cooper@cogsci.edinburgh.ac.uk (Robin Cooper)
scooper: cooper@top.cis.syr.edu (Steve Cooper)
coppey: coppey@mathp7.jussieu.fr (Luc Coppey)
cosmadakis: stavros@saul.cis.upenn.edu (Stavros Cosmadakis)
cowen: mthmjc@ubvms.bitnet (Mike Cowen)
crans: crans@math.ruu.nl (Sjoerd Crans)
crew: crew@cs.stanford.edu (Roger Crew)
crole: rlc@doc.imperial.ac.uk (Roy Crole)
crossley: jnc@bruce.cs.monash.edu.au (John Crossley)
crow: crow@csl.sri.com (Judy Crow)
cruciani: cruciani@vaxrma.infn.it (Rosanna Cruciani)
cubric: cubric@triples.math.mcgill.ca (Djordje Cubric)
curien: curien@dmi.ens.fr (Pierre-Louis Curien)
davey: davey@latcs1.lat.edu.au (Brian Davey)
davis: davism@acf4.nyu.edu (Martin Davis)
dawson: rdawson@husky1.stmarys.ca (Robert Dawson)
degano: degano@di.unipi.it (Pier-Paolo Degano)
delfour: delfour@cc.umontreal.ca (Michel Delfour)
dershowitz: nachum@cs.uiuc.edu (Nachum Dershowitz)
diaconescu: rdcbb@cunyvm.bitnet (Radu Diaconescu)
diekert: diekert@informatik.tu-muenchen.de (Volker Diekert)
diers: diers@frcitl81.bitnet (Yves Diers)
doh: doh@ksuvax1.cis.ksu.edu (Kyung-Goo Doh)
dolan: v088kj6a@ubvms.cc.buffalo.edu (James Dolan)
dong: xdong@clid.yorku.ca (Xiaomin Dong)
doob: mdoob@ccu.umanitoba.ca (Michael Doob)
dragalin: h2848dra@ella.hu (? Dragalin)
duba: duba@rice.edu (Bruce Duba)
dubey: rdubey@yoda.eecs.wsu.edu (Rakesh Dubey)
dubuc: dcfden!edubuc@mate.edu.ar (Eduardo Dubuc)
duggan: den@cs.umd.edu (Dominic Duggan)
dunn: dunn@iuvax.cs.indiana.edu (Mike Dunn)
duskin: mthduskn@ubvms.bitnet (Jack Duskin)
dybkjaer: dybkjaer@ruc.dk (Hans Dybkjaer)
edalat: ae@doc.ic.ac.uk (Abbas Edalat)
ehlers: map010@bangor.ac.uk (Philip Ehlers)
ehresmann: ehres@mathp7.jussieu.fr (Andree Ehresmann)
ehrhard: ehrhard@ens.fr (Thomas Ehrhard)
ehrlich: ehrlich@inria.inria.fr (Bobby Ehrlich)
vaneijck: jve@cwi.nl (Jan.van Eijck)
emerson: a.emerson@cs.utexas.edu (Alan Emerson)
enderton: hbe@math.ucla.edu (Herb Enderton)
engeler: engeler@math.ethz.ch (Erwin Engeler)
ernst: mernst@theory.lcs.mit.edu (Michael Ernst)
fagin: fagin@almaden.ibm.com (Ron Fagin)
faro: v068p76v@ubvmsa.bitnet (Emilio Faro)
fasel: jhf@lanl.gov (Joe Fasel)
feferman: sf@csli.stanford.edu (Sol Feferman)
feigenbaum: jf@research.att.com (Joan Feigenbaum)
feldman: d_feldman@unhh.bitnet (David Feldman)
ferguson: mike@tel.inrs.cdn (Michael Ferguson)
fiedorowicz: zigf@mps.ohio-state.edu (Zbigniew Fiedorowicz)
finkelstein: stacy@saul.cis.upenn.edu (Stacy Finkelstein)
fischer: fischer-michael@cs.yale.edu (Mike Fischer)
fitting: mlflc@cunyvm.bitnet (Melvin Fitting)
floyd: floyd@cs.stanford.edu (Bob Floyd)
foo: norman@cs.su.edu.au (Norman Foo)
fourman: mikef@dcs.edinburgh.ac.uk (Michael Fourman)
fox: fox@triples.math.mcgill.ca (Thomas Fox)
freese: ralph@kahuna.math.hawaii.edu (Ralph Freese)
frei: bitnet.arfr@ubcmtsg (Armin Frei)
freire: freire@seins.santiago.usc.es (J.L. Freire)
freyd: pjf@saul.cis.upenn.edu (Peter Freyd)
pamfreyd: pam@linc.cis.upenn.edu (Pam Freyd)
fritsch: ug143cb@sunmail.lrz-muenchen.de (Rudolph Fritsch)
fukushima: fukushim@cpsc.ucalgary.ca (Tom Fukushima)
funk: jfunk@morgan.ucs.mun.ca (Jonathan Funk)
fusco: sfusco@clid.yorku.ca (Sandro Fusco)
gago: alzzs002@seins.santiago.usc.es (Felipe Gago)
gaifman: gaifman@humus.huji.ac.il (Haim Gaifman)
gallier: jean@saul.cis.upenn.edu (Jean Gallier)
ganong: ganong@vm1.yorku.ca (Richard Ganong)
gehlot: gehlot@cis.udel.edu (Vijay Gehlot)
gehrke: wgehrke@risc.uni-linz.ac.at (Wolfgang Gehrke)
vangelder: avg@cs.ucsc.edu (Allen.Van Gelder)
genrich: genrich@gmdzi.gmd.de (Hartmann Genrich)
geramita: anthony.v.geramita@queensu.ca (Anthony Geramita)
gerstenhaber: gersten@penndrls.bitnet (Murray Gerstenhaber)
gerth: wsinrobg@eutrc3.urc.tue.nl (Rob Gerth)
ghelli: ghelli@di.unipi.it (Giorgio Ghelli)
ghilardi: ghilardi@imiucca.csi.unimi.it (Silvio Ghilardi)
girard: girard@margaux.inria.fr (Jean-Yves Girard)
givant: givant@mills.berkeley.edu (Steve Givant)
vanglabbeek: rvg@cs.stanford.edu (Rob.van Glabbeek)
glenn: glenn@cua.edu (Paul Glenn)
goguen: joseph.goguen@prg.oxford.ac.uk (Joseph Goguen)
golasinski: mg001@pltumk11.bitnet (Marek Golasinski)
bgoldberg: goldberg@cs.nyu.edu (Ben Goldberg)
goldblatt: rob@math.vuw.ac.nz (Rob Goldblatt)
goltz: gf1018@dbngmd21.bitnet (Ulla Goltz)
goodaire: edgar@munucs.mun.ca (Edgar Goodaire)
goodloe: agoodloe@gmuvax2.gmu.edu (Al Goodloe)
gordon: gordon@euclid.math.temple.edu (Bob Gordon)
grandis: grandis@prova.cisi.unige.it (Marco Grandis)
gratzer: gratzer@ccm.umanitoba.ca (George Gratzer)
gray: gray@math.uiuc.edu (John Gray)
grove: grove@cs.stanford.edu (Adam Grove)
grunenfelder: luzius@cs.dal.ca (Luzius Grunenfelder)
gruska: gruska@informatik.uni-hamburg.de (Jozef Gruska)
guessarian: ig@litp.ibp.fr (Irene Guessarian)
guitart: guitart@mathp7.jussieu.fr (Rene Guitart)
gunawardena: jhcg@hplb.hpl.hp.com (Jeremy Gunawardena)
cgunter: gunter@central.cis.upenn.edu (Carl Gunter)
egunter: elsa@research.att.com (Elsa Gunter)
gupta: vgupta@cs.stanford.edu (Vineet Gupta)
gurevich: gurevich@dip.eecs.umich.edu (Yuri Gurevich)
dhalpern: jdan@sun.com (Dan Halpern)
jhalpern: halpern@almaden.ibm.com (Joe Halpern)
hanna: fkh@ukc.ac.uk (Keith Hanna)
hardie: hardieka@uctvax.uct.ac.za (Kieth Hardie)
harel: harel@wisdom.weizmann.ac.il (David Harel)
harland: jah@mullauna.cs.mu.edu.au (James Harland)
harper: rwh@cs.cmu.edu (Robert Harper)
hart: wiawkph@dutrun2.tudelft.nl (Klaas Hart)
haveraaen: magne.haveraaen@ii.uib.no (Magne Haveraaen)
hebert: mhebert@mat.ulaval.ca (Michel Hebert)
heckmann: heckmann@cs.uni-sb.de (Reinhold Heckmann)
heggie: heggie@cad.uccb.ns.ca (Murray Heggie)
hennessy: matthewh@cogs.sussex.ac.uk (Matthew Hennessy)
henriksen: henriksen@hmcvax.claremont.edu (Mel Henriksen)
henzinger: tah@cs.stanford.edu (Tom Henzinger)
herz: herz@gauss.math.mcgill.ca (Carl Herz)
hill: whill@netcom.com (Walt Hill)
hillebrand: ggh@cs.brown.edu (Gerd Hillebrand)
hindley: majrh@pyr.swan.ac.uk (Roger Hindley)
hoare: julie@prg.oxford.ac.uk (Tony Hoare)
hodgson: bhodgson@vm1.ulaval.ca (Bernard Hodgson)
hoehnke: gabi@opal.cs.tu-berlin.de (Hans-Jurgen Hoehnke)
hofmann: mxh@dcs.ed.ac.uk (Martin Hofmann)
honsell: honsell@uduniv.cineca.it (Furio Honsell)
hoofman: raymond@cs.ruu.nl (Raymond Hoofman)
hook: hook@cse.ogi.edu (James Hook)
hopcroft: jeh@cs.cornell.edu (John Hopcroft)
howlett: 72740.2237@compuserve.com (Chris Howlett)
hsiang: hsiang@sbcs.sunysb.edu (Jieh Hsiang)
hu: hu@math.mcgill.ca (Hong.de Hu)
hudak: hudak@cs.yale.edu (Paul Hudak)
huet: huet@inria.inria.fr (Gerard Huet)
hunsaker: ga3600@siucvmb.bitnet (W. Hunsaker)
husberg: nhu@dione.hut.fi (Nisse Husberg)
huth: mrh@tulmath.math.tulane.edu (Michael Huth)
hyland: jmeh1@phoenix.cambridge.ac.uk (Martin Hyland)
israel: israel@ai.sri.com (David Israel)
istrail: sistrail@eagle.wesleyan.edu (Soren Istrail)
ito: ito@ito.ecei.tohoku.junet (Takayasu Ito)
iyer: ramu@cadsun.corp.mot.com (Ramu Iyer)
jacobs: bjacobs@math.ruu.nl (Bart Jacobs)
jaffar: joxan@watson.ibm.com (Joxan Jaffar)
jagadeesan: rj2@doc.imperial.ac.uk (Radha Jagadeesan)
james: wjames@adam.adelaide.edu.au (William James)
janssen: theo@fwi.uva.nl (Theo Janssen)
jardine: jardine@uwovax.uwo.ca (John Jardine)
jay: cbj@socs.uts.edu.au (Barry Jay)
jeffrey: alan.jeffrey@prg.oxford.ac.uk (Alan Jeffrey)
jenkins: maj@qucis.bitnet (Mike Jenkins)
mjohnson: mike@macadam.mpce.mq.edu.au (Mike Johnson)
pjohnson: pjohnson@eagle.wesleyan.edu (Paul Johnson)
jonsson: jonsson@athena.cas.vanderbilt.edu (Bjarni Jonsson)
jouvelot: jouvelot@ensmp.fr (Pierre Jouvelot)
joyal: joyal@math.uqam.ca (Andre Joyal)
joyce: djoyce@ollie.clarku.edu (David Joyce)
jung: jung@mathematik.th-darmstadt.de (Achim Jung)
kahn: kahn@mirsa.inria.fr (Gilles Kahn)
kane: kane@uwovax.uwo.ca (Richard Kane)
kanellakis: pck@cs.brown.edu (Paris Kanellakis)
kao: kao@iuvax.cs.indiana.edu (Ming Kao)
kapranov: kapranov@mssun7.msi.cornell.edu (Mikhail Kapranov)
karp: karp@ernie.berkeley.edu (Dick Karp)
kasangian: kasan@vmimat.mat.unimi.it (Stefano Kasangian)
kelly: kelly_m@maths.su.edu.au (Max Kelly)
kennaway: jrk@sys.uea.ac.uk (Richard Kennaway)
kennison: jkennison@clarku (John Kennison)
kent: rekent@ualr.edu (Robert Kent)
kfoury: kfoury@bu-cs.bu.edu (Dennis Kfoury)
kieboom: rkieboom@tena2.vub.ac.be (Rudger Kieboom)
kiehn: kiehn@informatik.tu-muenchen.de (Astrid Kiehn)
klarlund: klarlund@cs.cornell.edu (Nils Klarlund)
kleisli: kleisli@cfruni52.bitnet (Heinrich Kleisli.)
klop: jwk@cwi.nl (Jan Klop)
knijnenburg: peterk@cs.ruu.nl (Peter Knijnenburg)
knobel: andreas@etl.go.jp (Andreas Knobel)
knutson: allenk@ugcs.caltech.edu (Allan Knutson)
kochman: kochman@nexus.yorku.ca (Stanley Kochman)
kock: matak@mi.aau.dk (Anders Kock)
kolaitis: kolaitis@cs.ucsc.edu (Phokion Kolaitis)
kondoh: kondoh@harl.hitachi.co.jp (Hidetaka Kondoh)
koslowski: koslowj@math.ksu.edu (Juergen Koslowski)
kozen: kozen@cs.cornell.edu (Dexter Kozen)
kwiatkowska: mzk@leicester.ac.uk (Marta Kwiatkowska)
labella: labella@sci.uniroma1.it (Anna Labella)
labute: labute@gauss.math.mcgill.ca (John Labute)
ladkin: ladkin@icsib8.berkeley.edu (Peter Ladkin)
ladner: ladner@cs.washington.edu (Richard Ladner)
lafont: lafont@dmi.ens.fr (Yves Lafont)
lair: lair@mathp7.jussieu.fr (Christian Lair)
lamarche: gfl@doc.ic.ac.uk (Francois Lamarche)
lambe: lambe@math.ethz.ch (Larry Lambe)
lambek: lambek@triples.math.mcgill.ca (Joachim Lambek)
lampe: lampe@kahuna.math.hawaii.edu (Bill Lampe)
lamport: lamport@src.dec.com (Leslie Lamport)
lassez: jll@watson.ibm.com (Jean-Louis Lassez)
latch: dml@bklyncis.bitnet (Dana Latch)
launchbury: jl@dcs.glasgow.ac.uk (John Launchbury)
lawvere: mthfwl@ubvmsb.cc.buffalo.edu (Bill Lawvere)
leavens: leavens@iastate.edu (Gary Leavens)
leeney: stmt8015@iruccvax.ucc.ie (Mark Leeney)
leivant: leivant@cs.indiana.edu (Daniel Leivant)
lent: aflent@theory.lcs.mit.edu (Arthur Lent)
levin: lnd@cs.bu.edu (Leonid Levin)
liao: aliao@eagle.wesleyan.edu (Andrew Liao)
libkin: libkin@saul.cis.upenn.edu (Leonid Libkin)
lifschitz: lifschitz@cs.stanford.edu (Vladimir Lifschitz)
lilius: jli@dione.hut.fi (Johan Lilius)
lincoln: lincoln@cs.stanford.edu (Pat Lincoln)
linton: flinton@eagle.wesleyan.edu (Fred Linton)
lipton: lipton@saul.cis.upenn.edu (Jim Lipton)
loader: loader@maths.oxford.ac.uk (Ralph Loader)
longo: longo@dmi.ens.fr (Giuseppe Longo)
lord: hlord@csupomona.edu (Harriet Lord)
loui: mloui@note.nsf.gov (Michael Loui)
lowry: lowry@kestrel.edu (Mike Lowry)
lubarsky: r_lubarsky@faudm.bitnet (Robert Lubarsky)
lubliner: coby@ucbcevax.bitnet (Coby Lubliner)
luckham: dcl@anna.stanford.edu (David Luckham)
lynch: lynch@holmes.lcs.mit.edu (Nancy Lynch)
ma: qingming.ma@cs.cmu.edu (Qingming Ma)
maccaull: maccaull@essex.stfx.ca (Wendy MacCaull)
macdonald: macstone@bdc.ubc.ca (John MacDonald)
macleod: richardm@kean.ucs.mun.ca (Richard MacLeod)
mackenzie: pm1kchm@primea.sheffield.ac.uk (K.Charles.H. Mackenzie)
mackie: im@doc.ic.ac.uk (Ian Mackie)
macon: nmacon@nsf.gov (Nat Macon)
macqueen: macqueen@research.att.com (David Macqueen)
maddux: maddux@iastate.edu (Roger Maddux)
madhav: madhav@neon.stanford.edu (Neel Madhav)
mahmood: arshad@dcs.edinburgh.ac.uk (H. Mahmood)
main: main@boulder.colorado.edu (Michael Main)
majid: shm10@phx.cam.ac.uk (Shahn Majid)
makkai: makkai@triples.math.mcgill.ca (Michael Makkai)
manes: manes@math.umass.edu (Ernie Manes)
manna: manna@cs.stanford.edu (Zohar Manna)
marmolejo: marmol@cs.dal.ca (Francisco Marmolejo)
marshall: marshacd@snypotva.potsdam.edu (Charlie Marshall)
marti-oliet: narciso@csl.sri.com (Narciso Marti-Oliet)
martini: martini@di.unipi.it (Simone Martini)
mathieu: momathie@mathp7.jussieu.fr (Monique Mathieu)
mauri: mauri@hermes.dsi.unimi.it (Giancarlo Mauri)
mawanda: mawanda@mango.apc.org (M.W. Mawanda)
mccoll: wfm@prg.oxford.ac.uk (Bill McColl)
jmckay: mckay@conu1.bitnet (John McKay)
wmckay: wendy@cc.umontreal.ca (Wendy McKay)
mclarty: cxm7@po.cwru.edu (Colin McLarty)
mcnulty: mcnulty@milo.math.scarolina.edu (George McNulty)
mcrobbie: mam@arp.anu.edu.au (Michael McRobbie)
measor: ndm@mcs.le.ac.uk (Nick Measor)
meloni: meloni@imiucca.unimi.it (Gian.Carlo Meloni)
melton: austin@cis.ksu.edu (Austin Melton)
mercouroff: nm@cs.brandeis.edu (Nicolas Mercouroff)
meseguer: meseguer@csl.sri.com (Jose Meseguer)
meyer: meyer@theory.lcs.mit.edu (Albert Meyer)
milner: rm@dcs.edinburgh.ac.uk (Robin Milner)
mints: mints@csli.stanford.edu (Grigori Mints)
mislove: mwm@tulmath.math.tulane.edu (Michael Mislove)
misra: misra@cs.utexas.edu (Jay Misra)
mitchell: jcm@cs.stanford.edu (John Mitchell)
miyoshi: miyoshi@slab.sfc.keio.ac.jp (Hiroyuki Miyoshi)
mochnacki: stefan@centaur.astro.utoronto.ca (Stefan Mochnacki)
moerdijk: moerdijk@math.ruu.nl (Ieke Moerdijk)
moggi: moggi@disi.unige.it (Eugenio Moggi)
moller: fm@dcs.edinburgh.ac.uk (Faron Moller)
molnar: molnar@math.macalstr.edu (Richard Molnar)
monro: monro_g@maths.su.edu.au (Gordon Monro)
montanari: ugo@di.unipi.it (Ugo Montanari)
demoor: oege.de.moor@prg.oxford.ac.uk (Oege.de Moor)
moschovakis: ynm@math.ucla.edu (Yiannis Moschovakis)
moshier: mam@pic.ucla.edu (Drew Moshier)
moss: lmoss@ucs.indiana.edu (Larry Moss)
mosses: pdmosses@daimi.aau.dk (Peter Mosses)
muller: muller@harvard.edu (Robert Muller)
mulry: psm@dcs.edinburgh.ac.uk (Phil Mulry)
mulvey: c.j.mulvey@cluster.sussex.ac.uk (Chris Mulvey)
mumford: mumford@zariski.harvard.edu (David Mumford)
murphy: david@gmdzi.gmd.de (David Murphy)
murthy: murthy@cs.cornell.edu (Chet Murthy)
murty: murty@gauss.math.mcgill.ca (Ram Murty)
nation: nation@kahuna.math.hawaii.edu (James.B. Nation)
nelson: nealn@cse.ogi.edu (Neal Nelson)
nerode: nerode@mssun6.msi.cornell.edu (Anil Nerode)
nickau: nickau@hrz.uni-siegen.de (Hanno Nickau)
denicola: denicola@icnucevm.cnuce.cnr.it (Rocco.De Nicola)
niefield: niefiels@gar.union.edu (Susan Niefield)
nowakowski: rjn@cs.dal.ca (Richard Nowakowski)
ohearn: ohearn@top.cis.syr.edu (Peter Ohearn)
ohori: ohori@okilab.oki.co.jp (Atsushi Ohori)
okada: okada@concour.cs.concordia.ca (Mitsu Okada)
oles: oles@watson.ibm.com (Frank Oles)
ong: chlo1@cl.cam.ac.uk (Luke Ong)
oosten: oosten@math.ruu.nl (J.van Oosten)
orzech: orzechm@qucdn.bitnet (Morris Orzech)
otto: otto@triples.math.mcgill.ca (Jim Otto)
overbeek: overbeek@anl-mcs.arpa (Russ Overbeek)
depaiva: valeria.paiva@cl.cam.ac.uk (Valeria.de Paiva)
panangaden: prakash@opus.cs.mcgill.ca (Prakash Panangaden)
papert: seymour@media-lab.media.mit.edu (Seymour Papert)
pare: pare@cs.dal.ca (Bob Pare)
parikh: ripbc@cunyvm.cuny.edu (Rohit Parikh)
parker: stott@cs.ucla.edu (Stott Parker)
mpaterson: msp@dcs.warwick.ac.uk (Mike Paterson)
rpaterson: rap@doc.ic.ac.uk (Ross Paterson)
paulson: lcp@cl.cam.ac.uk (Larry Paulson)
pavlovic: pavlovic@triples.math.mcgill.ca (Dusko Pavlovic)
pearson: jkp@ukc.ac.uk (Justin Pearson)
peckhaus: volker.v.peckhaus@pc.philosophie.uni-erlangen.de (Volker Peckhaus)
pedicchio: pedicchi@univ.trieste.it (Cristina Pedicchio)
pelletier: jwpell@vm2.yorku.ca (Joan Pelletier)
penon: penon@mathp7.jussieu.fr (Jean Penon)
peters: stanley.peters@prg.ox.ac.uk (Stanley Peters)
pettorossi: adp@irmiasi.rm.cnr.it (Alberto Pettorossi)
pfenniger: mas034@vaxa.bangor.ac.uk (Markus Pfenniger)
phillips: phillips@uvvm.bitnet (John Phillips)
pierce: benjamin.pierce@cs.cmu.edu (Benli Pierce)
pigozzi: pigozzi@iastate.edu (Don Pigozzi)
pinter: pinter-shlomit@cs.yale.edu (Shlomit Pinter)
pitt: dhp@mcs.surrey.ac.uk (David Pitt)
pitts: ap@cl.cam.ac.uk (Andy Pitts)
plaice: plaice@ift.ulaval.ca (John Plaice)
plaisted: plaisted@cs.unc.edu (David Plaisted)
platek: richard@oracorp.com (Richard Platek)
platt: ccm.umanitoba.ca (Craig Platt)
plotkin: gdp@dcs.edinburgh.ac.uk (Gordon Plotkin)
pnueli: amir@wisdom.weizmann.ac.il (Amir Pnueli)
poigne: ap@gmdzi.gmd.de (Axel Poigne)
poirot: poirot@boole.stanford.edu (Hercule Poirot)
pollara: pollara@csearn.bitnet (Victor Pollara)
porst: porst@ubrinf.uucp (H.-E. Porst)
porter: mas013@vaxc.bangor.ac.uk (Tim Porter)
power: ajp@dcs.edinburgh.ac.uk (John Power)
pratt: pratt@cs.stanford.edu (Vaughan Pratt)
priestley: hap@vax.oxford.ac.uk (Hilary Priestley)
probst: probst@bond.crim.ca (Richard Probst)
proute: ap@mathp7.jussieu.fr (Alain Proute)
pym: dpym@dcs.edinburgh.ac.uk (David Pym)
quackenbush: bquack@ccm.umanitoba.ca (Bob Quackenbush)
rabin: rabin@humus.huji.ac.il (Michael Rabin)
rabinovich: alik@watson.ibm.com (Alexander Rabinovich)
rachev: zarirach@bernoulli.ucsb.edu (Zari Rachev)
raja: raja@tifrvax.bitnet (N. Raja)
ramshaw: ramshaw@src.dec.com (Lyle Ramshaw)
randall: randall@elbereth.rutgers.edu (John Randall)
raphael: raphael@vax2.concordia.ca (Robert Raphael)
rattray: cr@cs.stir.ac.uk (Charles Rattray)
remmel: remmel@kleene.ucsd.edu (Jeff Remmel)
repin: repin@log.mian.su (Nikolai Repin)
reyes: reyes@mathcn.umontreal.ca (Gonzalo Reyes)
reynolds: john.reynolds@c.cs.cmu.edu (John Reynolds)
riecke: riecke@theory.lcs.mit.edu (Jon Riecke)
riemens: sriemens@vega.math.ualberta.ca (Sherman Riemenschneider)
ritter: er@cl.cam.ac.uk (Eike Ritter)
erobinson: edmundr@cogs.susx.ac.uk (Edmund Robinson)
krobinson: kenr@elecvac.oz.au (Ken Robinson)
deroever: wsinwpr@eutrc3.urc.tue.nl (Willem.de Roever)
rolfsen: dale_rolfsen@mtsg.ubc.ca (Dale Rolfsen)
roman: lr@doc.ic.ac.uk (Leopoldo Roman)
rosebrugh: rrosebrugh@macc2.mta.ca (Bob Rosebrugh)
rosenthal: rosenthk@gar.union.edu (Kimmo Rosenthal)
rosicky: rosicky@queen.math.muni.cs (Jiri Rosicky)
rosolini: rosolini@dima.unige.it (Pino Rosolini)
rossello: dmifrl0@ps.uib.es (Cesc Rossello)
rota: rota@math.mit.edu (Gian-Carlo Rota)
rotman: rotman@symcom.math.uiuc.edu (Joseph Rotman)
rounds: rounds@engin.umich.edu (Bill Rounds)
rousseau: geo@leicester.ac.uk (George Rousseau)
rovan: uniba!rovan@relay.eu.net (Branislav Rovan)
rozenberg: rozenber@rulcri.leidenuniv.nl (Grzegor Rozenberg)
rozenfeld: ar@alv.umd.edu (Azriel Rozenfeld)
rudich: arie@theory.lcs.mit.edu (Arie Rudich)
rudie: rudie@ecfb.toronto.edu (Karen Rudie)
ruitenburg: wimr@math.mscs.mu.edu (Wim Ruitenburg)
rumbos: rumbos@unamvm1.dgsca.unam.mx (Beatriz Rumbos)
rus: rus@herky.cs.uiowa.edu (Theodor Rus)
rutten: jan.rutten@cwi.nl (Jan Rutten)
rydeheard: david@r3.cs.man.ac.uk (David Rydeheard)
sain: h1468sai@ella.hu (Ildiko Sain)
sakurai: a87480@tansei.cc.u-tokyo.ac.jp (Takafumi Sakurai)
sankappanevar: sankah@snynewba.bitnet (Hanamantagouda.P. Sankappanevar)
sannella: dts@dcs.edinburgh.ac.uk (Don Sannella)
santas: santas@inf.ethz.ch (Philip Santas)
saraswat: saraswat@parc.xerox.com (Vijay Saraswat)
sassone: vladi@di.unipi.it (Vladimir Sassone)
sato: schuko@sun4.cc.kyushu-u.ac.jp (Hiroyuki Sato)
scedrov: andre@cis.upenn.edu (Andre Scedrov)
schack: mthsds@ubvms.bitnet (Samuel Schack)
schelter: wfs@cli.com (Bill Schelter)
schmidt: jschmidt@daimi.dk (Jorn Schmidt)
schroeppel: rcs@la.tis.com (Rich Schroeppel)
schumacher: dietmar@ace.acadiau.ca (Dietmar Schumacher)
scollo: scollo@cs.utwente.nl (Giuseppe Scollo)
scot: gyro-cs@zeta-soft.com (Burson Scot)
dscott: dscott@risc.uni-linz.ac.at (Dana Scott)
scott: scpsg@acadvm1.uottawa.ca (Phil Scott)
seely: rags@triples.math.mcgill.ca (Robert Seely)
seldin: seldin@alcor.concordia.ca (Jonathan Seldin)
seligman: jerry@phil.indiana.edu (Jerry Seligman)
shankar: shankar@csl.sri.com (Natarajan Shankar)
shapiro: udi@wisdom.weizmann.ac.il (Udi Shapiro)
shieber: shieber@das.harvard.edu (Stuart Shieber)
shields: m.shields@mcs.surrey.ac.uk (Mike Shields)
sichler: sichler@ccm.umanitoba.ca (Jiri Sichler)
kurt: sieber@cs.uni-sb.de (Kurt Sieber)
isimon: is@ime.usp.br (Imre Simon)
simons: simons@karlsruhe.gmd.de (Martin Simons)
slifker: slifker@svax.cs.cornell.edu (Michael Slifker)
smaill: smaill@aipna.edinburgh.ac.uk (Alan Smaill)
small: nwnexus!cjsa!jeff@uunet.uu.net (Jeffery Small)
gsmith: dalcs!gretchen@uunet.uu.net (Gretchen Smith)
ssmith: scott@cs.jhu.edu (Scott Smith)
gsmolka: smolka@dfki.uni-sb.de (Gert Smolka)
ssmolka: sas@cs.sunysb.edu (Scott Smolka)
soare: soare@gargoyle.uchicago.edu (Bob Soare)
sobral: sobral@ciuc2.uc.rccn.pt (Manuela Sobral)
sokolowski: panss@halina.univ.gda.pl (Stefan Sokolowski)
spencer: dwights@cse.ogi.edu (Dwight Spencer)
spooner: spoonerd@cpsc.ucalgary.ca (Dave Spooner)
spreen: spreen@hrz.uni-siegen.de (Dieter Spreen)
srinivas: srinivas@kestrel.edu (Yellamraju Srinivas)
staples: staples@uqcspe.cs.uq.edu.au (John Staples)
stark: stark@cs.sunysb.edu (Eugene Stark)
stasheff: jds@charlie.math.unc.edu (James Stasheff)
steele: steele@think.com (Guy Steele)
steiner: maths@vme.gla.ac.uk (Richard Steiner)
stell: john@cs.kl.ac.uk (John Stell)
stewart: cstewart@watserv1.uwaterloo.ca (Cameron Stewart)
stolboushkin: aps1@node.ias.msk.su (Alex Stolboushkin)
astone: macstone@bdc.ubc.ca (Art Stone)
stoughton: allen@cogs.sussex.ac.uk (Allen Stoughton)
stout: lnstout@uxh.cso.uiuc.edu (Lawrence Stout)
strecker: strecker@galois.math.ksu.edu (George Strecker)
street: street@macadam.mpce.mq.edu.au (Ross Street)
streicher: streiche@informatik.uni-muenchen.de (Thomas Streicher)
subrahmanyam: ramesh@linc.cis.upenn.edu (Ramesh Subrahmanyam)
subramanian: cayley@tifrvax.bitnet (P.S. Subramanian)
suenderhauf: sunderhauf@mathematik.th-darmstadt.de (Phillipp Suenderhauf)
sun: ys4@mcs.le.ac.uk (Yong Sun)
suppes: suppes@csli.stanford.edu (Pat Suppes)
suzuki: dai@is.s.u-tokyo.ac.jp (Daisuke Suzuki)
svensson: svensson@unixg.ubc.ca (Anders Svensson)
swaminathan: swami@cs.dal.ca (S. Swaminathan)
szabo: szabo@vax2.concordia.ca (Fred Szabo)
takayama: takayama@cs.ritsumei.ac.jp (Yukihide Takayama)
talcott: clt@sail.stanford.edu (Carolyn Talcott)
tatsuta: tatsuta@sato.riec.tohoku.ac.jp (Makoto Tatsuta)
taubner: taubner@informatik.tu-muenchen.de (Dirk Taubner)
paultaylor: pt@doc.ic.ac.uk (Paul Taylor)
philiptaylor: p.taylor@vax.rhbnc.ac.uk (Philip Taylor)
wtaylor: wtaylor@boulder.colorado.edu (Walt Taylor)
tennent: rdt@qucis.queensu.ca (Bob Tennent)
thiagarajan: pst@ssf.ernet.in (P.S. Thiagarajan)
tholen: tholen@vm1.yorku.ca (Walter Tholen)
thomson: tom@nw.stl.stc.co.uk (Tom Thomson)
thurston: wpt@math.princeton.edu (Bill Thurston)
tierney: tierney@math.uqam.ca (Myles Tierney)
tiuryn: tiuryn@cs.bu.edu (Jerzy Tiuryn)
tonks: map003@vaxa.bangor.ac.uk (Andy Tonks)
trakhtenbrot: trakhte@math.tau.ac.il (Boris Trakhtenbrot)
tranah: dt105@phoenix.cambridge.ac.uk (David Tranah)
trnkova: ummvt@csearn.bitnet (Vera Trnkova)
tschantz: tschantz@athena.cas.vanderbilt.edu (Steve Tschantz)
tsuiki: tsuiki@kurims.kyoto-u.ac.jp (Hideki Tsuiki)
turbak: lyn@zurich.ai.mit.edu (Franklyn Turbak)
turi: turi@cwi.nl (Daniele Turi)
urquhart: urquhart@ai.toronto.edu (Alasdair Urquhart)
valeriote: matt@johnny.math.mcmaster.ca (Matt Valeriote)
valiente: dmigva0@ps.uib.es (Gabriel Valiente)
vanosdol: d_vanosdol@unhh.unh.edu (Donovan Van.Osdol)
vardi: vardi@almaden.ibm.com (Moshe Vardi)
velinov: velinov@p39.f1.n721.z5.fidonet.org (Yuri Velinov)
verity: domv@macadam.mpce.mq.edu.au (Dominic Verity)
(vermeulen: jjcvmath.uctvax@f4.n494.z5 Japie Vermeulen)
verwer: nico@cs.ruu.nl (Nico Verwer)
vianu: vdvianu@ucsd.edu (Victor Vianu)
vickers: sjv@doc.ic.ac.uk (Steve Vickers)
vigna: vigna@pippo.sm.dsi.unimi.it (Sebastiano Vigna)
vilcius: vilcius@clid.yorku.ca (Al Vilcius)
vitanyi: paulv@cwi.nl (Paul Vitanyi)
voevodsky: vladimir@math.harvard.edu (Vladimir Voevodsky)
devries: ferjan@cwi.nl (Fer-jan.de Vries)
waarts: orli@cs.stanford.edu (Orli Waarts)
wachter: wachter@itd.nrl.navy.mil (Ralph Wachter)
wadler: wadler@dcs.glasgow.ac.uk (Philip Wadler)
kwagner: kwagner@risc.uni-linz.ac.at (Kim Wagner)
ewagner: wagner@watson.ibm.com (Eric Wagner)
wald: wald@theory.lcs.mit.edu (David Wald)
walicki: michal@eik.ii.uib.no (Michal Walicki)
wallen: lw@prg.ox.ac.uk (Lincoln Wallen)
walters: walters_b@maths.su.edu.au (Bob Walters)
wand: wand@corwin.ccs.northeastern.edu (Mitchell Wand)
wasilewska: anita@sbcs.sunysb.edu (Anita Wasilewska)
wells: cfw2@po.cwru.edu (Charles Wells)
wendt: wendt@cs.dal.ca (Michael Wendt)
white: bwhite@inmet.inmet.com (Bill White)
williams: ewilliam@kean.ucs.mun.ca (Ed Williams)
winkler: winkler@csl.sri.com (Timothy Winkler)
winskel: gwinskel@daimi.dk (Glynn Winskel)
wirsing: wirsing@unipas.fmi.uni-passau.de (Martin Wirsing)
wood: rjwood@cs.dal.ca (Richard Wood)
wraith: gavinw@sussex.ac.uk (Gavin Wraith)
wright: gpwsg@acadvm1.uottawa.ca (Graham Wright)
wyler: wyler@cs.cmu.edu (Oswald Wyler)
yardini: eyal@wisdom.weizmann.ac.il (Eyal Yardini)
yarroll: piggy@baqaqi.chi.il.us (La.Monte Yarroll)
yetter: dyetter@math.ksu.edu (David Yetter)
yoshida: yoshida@icot.or.jp (Kaoru Yoshida)
yoshiki: yoshiki@etl.go.jp (Kinoshita Yoshiki)
young: young@xx.lcs.mit.edu (Jonathan Young)
zawadowski: warsaw@ccb.uib.es (Marek Zawadowski)
zenith: zenith@ensmp.fr (Steven Zenith)
zhang: gqz@caen.engin.umich.edu (G.Q. Zhang)
zocco: dean.zocco@klb (Meg Zocco)
#
# Groups
#
categories: categories@mta.bitnet (Category Theory)
clics: clics@doc.ic.ac.uk (ESPRIT CLiCS project)
ic-seminars: ic-theory-seminars@doc.ic.ac.uk (Imperial College)
pssl: pssl@doc.ic.ac.uk (Peripatetic Seminar on Sheaves and Logic)
synthetic: sdt-list@doc.ic.ac.uk (Synthetic Domain Theory)
types: types@dcs.gla.ac.uk (Polymorphic Type Theory)